type RingF2[A] = RingF[RingF[RingF[A]]]